modus tollens
method of removing
Notes
Loosely "method of denying", a logical rule of inference stating that from propositions if P then Q and not Q, then one can conclude not P.
method of removing
Loosely "method of denying", a logical rule of inference stating that from propositions if P then Q and not Q, then one can conclude not P.